Cay({1,0),(0,1)} : <I>Z<sub>m</sub> &#8853 Z<sub>n</sub></i>)
  has a Hamiltonian circuit when <I>n</i> divides <I>m</i>.